# data for satisfying minimum number of constraints problem
import numpy as np
m = 70
k = 58
n = 12
A = np.array([[ 1.8, 0.4, 1. , 2.2, 1.9,-1. , 1. ,-0.2,-0.1, 0.4, 0.1, 1.5],
 [ 0.8, 0.1, 0.4, 0.3, 1.5,-0.2, 0.3,-0.9,-2.6, 0.7, 0.9,-0.7],
 [ 2.3,-1.5, 0. ,-0.2, 1.5, 1.5, 0.2, 0.4,-0.9,-2. ,-0.3, 0.2],
 [ 1.2, 1.2,-0.4,-0.3,-1. ,-1.4,-1.7, 2. ,-0.5,-0.4,-1.3, 0.8],
 [-1.6,-0.2,-0.9, 0.4,-0.5,-1.2,-0. , 0.4, 0.1, 0.3,-0.6,-0.4],
 [-0.7,-0.4,-0.8,-1.7, 0.2,-0.4,-1.6, 0.5,-0.9, 0.1, 0.7, 0.1],
 [ 1.1,-1.2, 0.4,-0.7,-0.9,-0.6,-0.3, 0.1,-1.2, 0.9, 0.5,-1.5],
 [ 1.5, 1.9, 1.2,-0.2,-1.1, 1.1,-0.4, 1.2, 0.2, 1. , 0.4, 0.7],
 [ 0. , 1.8, 0.1, 0.4, 1.9,-1.3,-1.3, 1. ,-1.2, 1.9,-0.4,-0.7],
 [ 1.9, 1.5, 1.9, 0.9,-0.9, 1.9,-0.3, 0.8, 0.9,-0.2, 0.6, 0.9],
 [ 0.4,-1.1, 0.3, 1.3,-0.7,-0.1,-0.4, 1.8, 0.7, 0.4,-0.8, 0.5],
 [-0.7, 0. ,-0.6, 0.7, 0.6,-0.2, 0.4,-1.1,-1.5, 0.4, 0.2, 0.6],
 [ 2.4, 0.9,-0.9, 1.1,-1.3,-0.5,-0.1, 1.7,-0.7,-0.8,-0.1,-0.7],
 [ 1.1,-1.1,-1.1,-0.4,-0.5, 1.9, 0.9, 0.1,-1.2, 0.8,-1. ,-1.5],
 [ 1.2, 0.3, 0.9, 0.3, 0.9,-0.7,-1. , 0.7,-0.8,-0.7,-0.5, 0. ],
 [-0.4,-1.4,-0.6,-2.2, 0.6,-1.6,-1.1, 0.1,-0.7, 1.5,-1.3, 0.3],
 [-0. ,-1.2, 0.5,-0.2, 0.8, 0.8, 2.2, 1.3,-0.4,-0.2, 1.1, 0.7],
 [ 0.6,-1.6,-0. ,-0.7, 0.3,-0.1, 0.9, 0.3, 0.8,-0.5,-0.9,-0.4],
 [-0. , 0.4, 2.3,-0. ,-1. ,-0.3,-0.5, 0.5,-1.5, 0.1, 0.2, 0.2],
 [-0.6,-0.2,-1.4,-0.5,-0.5, 0.4,-1.2, 0.8, 1.5,-2.1, 0.4, 0.7],
 [-0.6,-0.4,-0.1,-0.3,-0.3,-1.7, 1.2, 1.1,-0.8,-1.5, 0.5,-0.6],
 [ 0.1,-0.3, 0.7, 0.7,-0.7,-1.4,-1.6, 0.6,-1.2,-0.5,-0.6,-0.1],
 [-1.9, 0.2, 0.5, 0.1,-0.3, 0.1, 0.4,-2.8, 2. , 0.4,-0.7,-0.4],
 [ 0.5,-0.1,-2. , 2.1,-0.1, 1. ,-0.7, 1.5, 0.3, 0.6,-1. , 1.2],
 [ 0.7, 1.3,-0.6,-0.5, 2.3,-1.1,-0.1, 1.1, 0.1, 0.6,-0.4, 0.4],
 [-1.3, 1.7,-0.1,-0.7, 0.7,-0.5,-1.3,-1.3, 0.7,-0.2,-0.1, 1.1],
 [-1.1,-0.7,-0.4, 0.1,-0. ,-0.3,-0.1,-0.1,-0.7,-0.8, 0.3,-0.9],
 [-1.2,-0.3,-0.2, 2.3,-0.7, 0.9, 0.7,-1.2, 0.8,-1.2,-2.7, 0.6],
 [-1.8, 0.5,-0.7, 1.7, 1.1,-0.5,-0.7,-1.2,-0.4,-0.3,-0.4, 0.2],
 [ 0.6, 0.3,-0.8,-1.4, 1.4,-0.7,-0.7,-0.5,-1.8,-0.5,-0.5, 0.6],
 [ 0.7, 0. , 0.9, 0.3,-0. , 0.2,-0.2,-0.4,-0.3,-1.1, 0.3,-1. ],
 [ 0.8,-0.2, 0. , 0.5, 0.6,-1.6,-0.2, 0.9,-1.7, 0.4,-2.3,-1. ],
 [ 0. ,-1.7,-1. ,-1.5, 1.6, 0.2, 0.6,-0.2,-0.4,-1.6,-0.3,-0.8],
 [ 0.9, 1.1, 1.5, 0.9,-0.6,-1.1, 0.8, 0.4,-1.8, 0.4, 0.8, 0.1],
 [-0.2,-0.8,-1.4, 0.8,-0.3,-0.2, 1.7, 0.7, 0.4, 0.1, 1.5, 1.7],
 [ 0.9, 0.6,-2.1, 0.1,-0.1, 0.1, 0.9,-2.7,-0.6, 0.3,-0.5,-1.4],
 [ 0.9, 0.3,-1. , 0.3, 0.8, 0. , 0.8, 0.1,-0.4,-1.2,-0.1, 0.2],
 [ 0.9,-0.1, 0.5,-1. ,-0.8,-0.1,-1.1, 0.8, 0.5, 0.3, 0.3, 2. ],
 [-0.5,-2.2, 0.2,-0.1,-0.5,-1. ,-0.4, 0.2,-0.5, 2.4,-1. ,-0.8],
 [-2.3, 0.3,-2. ,-0.5,-0.3,-0.7, 1.7, 1. , 1.3,-0.9, 1.1, 0.5],
 [ 0.8, 1. ,-0.9,-0.4, 0.9,-2.7, 1.5, 0.6,-0. , 0.2,-1. ,-0.3],
 [ 1.1, 1.3, 2.7,-0.1,-0.7,-0.5,-1. ,-0.1, 0.4,-0. , 1.1,-0.2],
 [-0.3,-0.6,-1.6,-1.6,-1.2, 1.3, 0.9, 1.4,-1.3,-2. ,-0.7, 0.2],
 [ 0.5, 1. , 0.3, 1.7,-0.2,-0.9,-1.7,-0.9, 0.2,-0.9, 0.9, 1.4],
 [-2.4, 0.9,-2.2, 0.4, 1.2, 0.1,-1.3,-0.6,-0.3,-0.2,-0.2,-0.1],
 [ 0.2,-1.2,-0.2, 1.5,-0.4,-0.4, 1.1,-2.6, 1.2,-0.6, 0.2, 0.1],
 [ 0.9,-0.3,-0.7, 1.3,-2.4, 0. ,-1.3,-0.8, 2. ,-0. , 0.2,-1.8],
 [-0.7, 0.2, 0.4, 0.6, 0. , 0.5, 0.5,-1.8, 0. , 0.8, 0.6,-0.4],
 [-0.8,-1.1,-0.1, 1.1,-2. ,-0.7,-1.1, 0.8,-0.6,-0.5,-0.2, 0.4],
 [-0.4,-3. , 0.5, 0.4,-0.2,-1.1, 0.4, 0.4,-0.5,-0.2,-0.9,-0.2],
 [-1.6, 0.4,-0.9, 0.2,-1.4,-0.6,-0.1,-1.7, 0.1,-0.4,-1.7,-1.3],
 [ 0.6, 0.9,-0.1, 0.4, 0.2, 0.3, 1.3,-1.5, 0.7,-0.4,-0.2,-0.3],
 [-0.4,-1.2, 0.2, 1.7,-0.1,-0. ,-0.7,-0.1, 0.5,-0.4,-0.5, 0.4],
 [-0.9, 0.3, 0.8, 1.4,-0.1, 1.4, 1. ,-1. ,-1.2,-0.3, 1. ,-0.1],
 [-0.6, 1.6, 0.3,-2.3, 0.3, 0.5, 0.2, 0.4,-0.1,-1.3,-0.4,-0.9],
 [-0.9,-1.3, 0.5, 0.1,-0.4,-0.6,-0. , 1.1,-2. , 0.4,-0.5,-1.9],
 [-1.9,-0.9, 0.2, 0.4,-0.9, 1. , 1.4, 0.4,-0.6, 1.1, 0.8, 0.9],
 [-0.7,-2.8, 2.1,-1.6,-0. , 2.4, 0.3, 0.9,-1.5,-1.8,-0.5, 1.1],
 [-0.3,-0.8, 0.2, 1.1,-1.4,-1.2,-0.8, 1.1, 0.2, 2.1, 0.9,-0. ],
 [ 1.3, 0.2,-0.7, 0.7,-0.7,-0.3, 1.3,-0.1,-0.8,-0.5, 1. ,-0.6],
 [-0.4,-0.5, 0.2,-0.4,-1.6,-0.9,-0.9, 1.2, 0.8, 0.6,-0.5,-0.8],
 [-0.5,-1.1, 2.5,-2.2, 0.6,-1.3,-0.1,-1. ,-1.2,-1.1, 1.8,-0.1],
 [-0.8, 0.6, 0. , 0.7,-1.8, 0.3, 0.8,-1.7, 0.4, 1.7,-0. , 0.8],
 [ 0.7,-0.7, 0. ,-1.6,-0.5, 0.3, 0.7, 0. , 0.7,-1.1,-0.1, 0. ],
 [ 1.8,-0.2,-0.5, 0. ,-0.9, 0.2,-0.4,-1.8,-0.1,-0.3,-1.6,-0.1],
 [ 1.5, 0.5, 0.6,-1.3, 0.5, 0.1, 0.5, 0.4,-1.4,-0. ,-0.8,-0.1],
 [-0.9, 1.3,-0.9,-0.9, 0.1,-1.1,-0.4,-0.8, 1.4, 0.8,-0.1,-0.4],
 [ 0.9, 0.4, 0.5,-0. ,-1.7,-0.1,-0.5, 0.6, 1. ,-0.7, 0.5, 1.7],
 [-0.7, 1.7,-0.9, 0. ,-0. , 0. ,-0.8,-0.6,-0.7, 0.3, 0.3, 2.2],
 [ 1.4,-0.5, 0.3, 1. , 0. ,-0.1, 0.1, 0.9,-0.8,-0.3, 0.5, 0.3]])
b = np.array([ 1.7, 0.9, 0.6,-0.2, 0.5,-2. , 0.2,-0.9, 0.8,-0.2, 0.9, 0.6, 0.6, 1.2,
  0.9,-0.4,-0.4, 0.7, 0.4,-2. ,-0.1, 1. , 0.9, 0.6,-0.2,-1.1, 0.3, 3.2,
  1.2,-0.3, 0.7, 2.8,-0.1, 0.9,-1.4, 1.1, 0.3,-1.8, 1.3,-2. , 0.8,-0.4,
 -0.9,-0.3,-0.4, 1.3, 0.3, 0.5, 0.3, 1.6, 1.6, 0.8, 1.2, 0.9,-0.9, 1.5,
 -0.3, 0. ,-0.3, 0.3,-0.2,-1.3, 0.2,-0.8, 1.4, 0.5,-0.9,-1.4,-1.3, 0.4])
c = np.array([ -2.5,  1.5,  4.7, -4. ,  0.5,  5.9,  0.2, -0.9, 10.6, -1.2,  7.6, -3.6])
